Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
61	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
62	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula
63	On the Submodularity of Influence in Social Network Add to Reading List Source URL: www-scf.usc.edu Language: English - Date: 2014-07-26 02:03:53 Submodular set function Flow network Mathematics Networks Order theory
64	143 Documenta Math. Homology Stability for Unitary Groups B. Mirzaii, W. van der Kallen Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2002-07-17 16:17:19 Algebra Abstract algebra Mathematics Algebraic topology Algebraic geometry Order theory Partially ordered set Simplicial set Sheaf Singular homology Algebraic K-theory Morphism of algebraic varieties
65	Networks embedded in Lorentzian spaces James Clough, Tim Evans Centre for Complexity Science, Imperial College London, London, SW7 2AZ, U.K. {james.clough09,t.evans}@imperial.ac.uk Embedding the nodes of a network in a s Add to Reading List Source URL: www.monmeetings.org Language: English - Date: 2015-09-04 10:24:55 Mathematics Physics Theoretical physics Order theory Lorentzian manifolds Quantum gravity Exact solutions in general relativity Causal sets Minkowski space Metric tensor Spatial network Space
66	1 Phonological change in Optimality Theory Ricardo Bermúdez-Otero In: Keith Brown (ed), Encyclopedia of language and linguistics, 2nd edn, vol. 9, . Add to Reading List Source URL: www.bermudez-otero.com Language: English - Date: 2008-06-08 01:05:50 Phonology Linguistics Historical linguistics Optimality theory Markedness Sound change Lenition Phonotactics Phonological rule Phonological change Feeding order Feature
67	Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:14 Logic Model theory Abstraction Mathematical logic Semantics Predicate logic Metalogic Structure Homomorphism Interpretation Symbol First-order logic
68	Abstract Interpretation, Reloaded Jan Midtgaard Winter School, Day 3 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015 Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-04 08:44:50 Mathematics Order theory Algebra Abstract algebra Abstract interpretation Galois connection Fixed-point theorem Fixed point FO Complete lattice Lattice Monotonic function
69	207 Documenta Math. On Higher Order Estimates in Quantum Electrodynamics Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-03-18 12:47:46 Mathematical analysis Mathematics Character encoding Digital typography Symbol Operator theory Partial differential equations Table of stars with Bayer designations
70	PHYSICAL REVIEW B 89, Quantum spin liquid with a Majorana Fermi surface on the three-dimensional hyperoctagon lattice M. Hermanns and S. Trebst Institute for Theoretical Physics, University of Cologne, 509 Add to Reading List Source URL: www.thp.uni-koeln.de Language: English - Date: 2014-06-02 15:10:41 Condensed matter physics Physics Materials science Topological order Quantum spin liquid Majorana fermion Reciprocal lattice Geometrical frustration Fermi surface Lattice Fermi liquid theory Crystal structure

UPDATE